On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:
[ældʒi'breiik(ə)li]
наречие
общая лексика
алгебраическим способом
алгебраически
математика
алгебраический способ
алгебраический подход
Алгебраическая сеть Петри (англ. algebraic Petri net, APN) — расширение обычных сетей Петри, в котором обычные маркеры заменены на элементы алгебраических типов данных. Этот формализм во многом подобен раскрашенным сетям Петри, однако в случае алгебраических сетей семантика типов данных задаётся системой аксиом, позволяющей осуществлять с её использованием доказательства и вычисления над типами.
Впервые введены Жаком Вотереном в 1985 году, усовершенствованы Вольфгангом Райзигом.
Формализм включает две составляющие:
Сами алгебраические типы данных могут быть разделены на две части:
Управляющая часть включает:
В момент активации события произведённые маркеры перемещаются в целевые позиции выходных дуг. Для того, чтобы определить семантику операций, проверить выполняются ли заданные условия и вычислить выходные термы, как правило используют техники переписывания термов.
Алгебраические сети Петри послужили базой для развития более сложных вариантов того же формализма, в частности CO-OPN (Concurrent Object-Oriented Petri Nets).